Nuprl Definition : fifoT
11,40
postcript
pdf
ff
.T == let
C
,
T
,
S
,
R
,
codes
,
decodes
,
p
=
ff
in
T
latex
Definitions
let
a
,
b
,
c
,
d
,
e
,
f
,
g
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
)
FDL editor aliases
fifoT
origin